Introducing CLOVER: An Object-Oriented Functional Language
نویسندگان
چکیده
The search for a language which combines both functional and object-oriented features has a long and The aim is to integrate the formal methods beneets of functional programming with the software engineering bene-ts of both paradigms. However, to date we know of no language which can claim to be both purely functional and purely object-oriented (and retains complete type safety). We present CLOVER, a new language which is 100% functional and 99% object-oriented. It is also completely type safe. We explain the design issues and how CLOVER achieves its aim. We also explain the \missing" 1%, discuss its relevance, and illustrate how its loss can be extenuated through the use of a new visual programming notation.
منابع مشابه
The CLOVER Rewrite Rules : A Translation from OOFP to FP ( DRAFT )
There have been many attempts to integrate object-oriented and functional programming. Solving the connicting requirements is dif-cult and only recently has a language, CLOVER, been designed that is both purely functional and purely object-oriented (and retains complete type safety). In this paper, we introduce the CLOVER rewrite rules by presenting a translation from CLOVER to a simple functio...
متن کاملThe Implementation of CLOVER: A Translation from OOFP to FP
There have been many attempts to integrate object-oriented and functional programming. Solving the connicting requirements is diicult and only recently has a language, CLOVER, been designed that is purely functional and purely object-oriented and retains complete type safety. In this paper, we present the implementation of CLOVER: the object-oriented features are translated away in stages and t...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملAn Object-Oriented Functional Approach to Information Systems Engineering
This paper concentrates on the search for a programming language and supporting theory which combines features from the objectoriented and functional paradigms. The aim is to integrate the formal methods benefits of functional programming with the software engineering benefits of both paradigms. In this paper, which derives from the author’s recently-published paper [CB96], we first discuss rel...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل